SYNTHESlS OF DELAY-INSENSITIVE CIRCUITS SPECIFIED BY TRACE GRAPHS
نویسندگان
چکیده
This paper establishes an efficient method for the synthesis of modular, delay-insensitive circuits, specified by a class of directed trace structures. The notion of trace graphs is introduced for the purpose of facilitating the d~scription of relevant trace structures. A suitable mathematically precise theory is developed and the synthesis algorithm is for mally proven to be correct. Further ongoing research is outlined in the last section of the paper. * The research of the second author was supported by a grant from the Ministry of Sci ence and Technology, Israel, and the French Ministry of Research and Technology. -
منابع مشابه
Asynchronous Design Methodologies: An Overview
Asynchronous design has been an active area of research since at least the mid 1950's, but has yet to achieve widespread use. We examine the benefits and problems inherent in asynchronous computations, and in some of the more notable design methodologies. These include Huffman asynchronous circuits, burst-mode circuits, micropipelines, template-based and trace theory-based delay-insensitive cir...
متن کاملA New Method for Converting Trace Theoretic Specifications to Signal Transition Graphs
The specification of delay-insensitive, asynchronous circuits can be undertaken in a variety of ways. Two methods discussed in this paper involve Trace Theory and Signal Transition Graphs. Trace Theory is used to describe the behavior of circuits in terms of sequences (or traces) of signals. These traces can be composed to express cooperative behavior. However, the resultant composite often suf...
متن کاملSynthesis of Control Elements from Petri Net Models
Methods are presented for synthesizing delay-insensitive circuits whose behavior is specified by Petri net models of macromodular control elements. These control elements implement five natural functions used in asynchronous system design. Particular attention is paid to modules requiring mutual exclusion where metastability must be carefully controlled.
متن کاملDiagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits
In this paper we construct a new trace model of delay-insensitive asynchronous circuits inspired by Ebergen’s model in such a way that it satisfies the compositional properties of a category, with additional monoidal structure and further algebraic properties. These properties taken together lay a solid mathematical foundation for a diagrammatic approach to reasoning about asynchronous circuits...
متن کاملRRD 01 CSN A FormaJ Approach to Designing
Since many of these notes are preliminary versions or may be publish~ elsewhere , they have a limited distribution only and are not for review. Copies of these notes are available from the author or the editor. A method for designing delay-insensitive circuits is presented based on a simple formalism. The communication behavior of a circuit with Its envlronmenf is speclfied by a regular express...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014